home *** CD-ROM | disk | FTP | other *** search
- # Rename a file only if it is different from a previously existing
- # file of the same name. This is useful for keeping make from doing
- # too much work if the contents of a file haven't changed.
-
- # This is an MPW translation of the standard GNU sh script move-if-change.
-
- Set exit 0
-
- If "`exists -f "{2}"`"
- Compare "{1}" "{2}" >dev:null
- If {status} != 0
- Rename -y "{1}" "{2}"
- Else
- Echo "{2}" is unchanged
- Delete -i -y "{1}"
- End
- Else
- Rename -y "{1}" "{2}"
- End
-